Structured Specification of Model Interpreters
نویسنده
چکیده
Model interpreters play an essential role in modelintegrated systems: they transform domain-specific models into executable models. The state-ot-the-art of model interpreter writing needs to be advanced to enhance the reusability and maintainability of this software. This paper presents an approach which makes this possible through the use of structured specifications. These specifications let the programmer express traversal strategies and visitation actions in very high-level terms. From these specifications efficient traversal code can be automatically
منابع مشابه
A Theory of Generic Interpreters
We present an abstract theory of interpreters. Interpreters are models of computation that are specifically designed for use as templates in computer system specification and verification. The generic interpreter theory contains an abstract representation which serves as an interface to the theory and as a guide to specification. A set of theory obligations ensure that the theory is being used ...
متن کاملAgents as Scheme Interpreters: Enabling Dynamic Specification by Communicating
We proposed in previous papers an extension and an implementation of the STROBE model, which regards the Agents as Scheme interpreters. These Agents are able to interpret messages in a dedicated environment including an interpreter that learns from the current conversation therefore representing evolving meta-level Agent's knowledge. When the Agent’s interpreter is a nondeterministic one, the d...
متن کاملTowards Specification of Program Synthesis in Model-Integrated Computing
Model-integrated computing offers unique benefits for building computer-based systems. The tight integration of physical and information processess typical in CBSs is naturally addressed using this approach. However, the creation of model-integrated programming environments is a non-trivial task, which requires various skills on behalf of the system implementor. This paper addresses one particu...
متن کاملFrom Syntactic Theories to Interpreters: A Specification Language and Its Compilation
Abstract. Recent years have seen an increasing need of high-level specification languages and tools generating code from specifications. In this paper, we introduce a specification language, SL, which is tailored to the writing of syntactic theories of language semantics. More specifically, the language supports specifying primitive notions such as dynamic constraints, contexts, axioms, and inf...
متن کاملA Formalization of a Hierarchical Model for RISC Processors
Since microprocessors are used in many areas of real-time control, the use of formal methods provides an alternative approach for achieving high reliability. In this paper, a methodology based on a hierarchical model of interpreters is presented for formalizing RISCs in general. The abstraction levels used by a designer in the implementation of RISCs, namely the instruction set level, the pipel...
متن کامل